Interpreting localized computational effects
نویسنده
چکیده
We outline a general approach to providing intensional models for languages with computational effects, whereby the problem of interpreting a given effect reduces to that of finding an operator of higher type satisfying certain equations. Our treatment consolidates and generalizes an idea that is already implicit in the literature on game semantics. As an example, we work out our approach in detail for the case of fresh name generation, and discuss some particular models to which it applies.
منابع مشابه
Interpreting Localized Computational Effects Using Operators of Higher Type
We outline a general approach to providing intensional models for languages with computational effects, whereby the problem of interpreting a given effect reduces to that of finding an operator of higher type satisfying certain equations. Our treatment consolidates and generalizes an idea that is already implicit in the literature on game semantics. As an example, we work out our approach in de...
متن کاملEFFECT OF BOUNDARY CONDITIONS ON LOCALIZED INSTABILITY OF THE SEMI-INFINITE ORTHOTROPIC PLATE
This paper is concerned with an investigation into the localized instability of a thin elastic orthotropic semi-infinite plate. In this study, a semi-infinite plate, simply supported on two edges and under different boundary conditions of clamped, hinged, sliding contact and free on the other edge, is studied. A mathematical model is used and a general solution is presented. The conditions unde...
متن کاملA note on blow-up in parabolic equations with local and localized sources
This note deals with the systems of parabolic equations with local and localized sources involving $n$ components. We obtained the exponent regions, where $kin {1,2,cdots,n}$ components may blow up simultaneously while the other $(n-k)$ ones still remain bounded under suitable initial data. It is proved that different initial data can lead to different blow-up phenomena even in the same ...
متن کاملPatch Enclosure and Localized Effects of Selected Acacia Species on Herbaceous Richness and Soil Properties of Rangelands in Somali Regional State in Ethiopia
Enclosure and Acacia shade availability to plants are basic variable in arid and semi-arid rangelands. the aim of this study was investigation the impact of patch enclosure and Acacia shade using four treatments which are Inside Enclosure Under Acacia shade (IEUA), Inside Enclosure Without Acacia shade (IEWA), Outside Enclosure Under Acacia shade (OEUA) and Outside Enclosure W...
متن کاملEffects of shear and bulk viscosity on head-on collision of localized waves in high density compact stars
Head on collision of localized waves in cold and dense hadronic matter with and without shear and bulk viscosities is investigated. Non-relativistic dynamics of propagating waves is studied using the hydrodynamics description of the system and suitable equation of state. It will be shown that the localized waves are described by solutions of the Burgers equation. Simulations show that the propa...
متن کامل